Amalgams of inverse semigroups and reversible two-counter machines
نویسندگان
چکیده
منابع مشابه
Amalgams of inverse semigroups and reversible two-counter machines
We show that the word problem for an amalgam [S1, S2;U,ω1, ω2] of inverse semigroups may be undecidable even if we assume S1 and S2 (and therefore U) to have finite R-classes and ω1, ω2 to be computable functions, interrupting a series of positive decidability results on the subject. This is achieved by encoding into an appropriate amalgam of inverse semigroups 2-counter machines with sufficien...
متن کاملAmalgams of Free Inverse Semigroups
We study inverse semigroup amalgams of the form S U T where S and T are free inverse semigroups and U is an arbitrary nitely generated inverse subsemigroup of S and T. We make use of recent work of Bennett to show that the word problem is decidable for any such amalgam. This is in contrast to the general situation for semigroup amalgams, where recent work of Birget, Margolis and Meakin shows th...
متن کاملcompactifications and representations of transformation semigroups
this thesis deals essentially (but not from all aspects) with the extension of the notion of semigroup compactification and the construction of a general theory of semitopological nonaffine (affine) transformation semigroup compactifications. it determines those compactification which are universal with respect to some algebric or topological properties. as an application of the theory, it is i...
15 صفحه اولTwo generalisations of the symmetric inverse semigroups
We introduce two generalisations of the full symmetric inverse semigroup IX and its dual semigroup I ∗ X – inverse semigroups PI ∗ X and PI ∗ X . Both of them have the same carrier and contain IX . Binary operations on PI∗X and PI ∗ X are reminiscent of the multiplication in IX . We use a convenient geometric way to realise elements from these two semigroups. This enables us to study efficientl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2013
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2012.08.012